Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
A natural deduction approach to dynamic logic
1996-01-01 Honsell, Furio; Miculan, Marino
A Navigation and Examination Aid for 3D Virtual Buildings
2005-01-01 Chittaro, Luca; Gatla, V. K.; Venkataraman, S.
Negation as a resource: A novel view on answer set semantics
2013-01-01 Costantini, Stefania; Formisano, Andrea
Neural Networks Reduction via Lumping
2023-01-01 Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S.
New Geographies of Fuel Purchase During the COVID-19 Pandemic: Evidence from the Italian Northeastern Border Zone
2023-01-01 Zaccomer, Gian Pietro; Bressan, Giorgia
A New Tableau-based Satisfiability Checker for Linear Temporal Logic
2016-01-01 Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark
Optimal Wheeler Language Recognition
2023-01-01 Becker, R.; Cenzato, D.; Kim, S. -H.; Kodric, B.; Policriti, A.; Prezza, N.
Optimizing image registration for interactive applications
2016-01-01 Gasparini, Riccardo; Alletto, Stefano; Serra, Giuseppe; Cucchiara, Rita
Optimizing Maude Programs via Program Specialization
2023-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Meseguer, J.; Sapina, J.
The “Peer-to-Peer” Economy and Social Ontology: Legal Issues and Theoretical Perspectives
2015-01-01 Costantini, Federico
Perception of Virtual Agents as Communicators in Virtual vs. Augmented Reality by a Male Sample
2023-01-01 Serafini, Marta; Chittaro, Luca
Perspectives on Logic-based Approaches for Reasoning About Actions and Change
2011-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
Photo-consistent planar patches from unstructured cloud of points
2010-01-01 Toldo, R.; Fusiello, Andrea
PolyMorph: A P300 Polymorphic Speller
2013-01-01 Casagrande, A; Jarmolowska, J; Turconi, M; Fabris, F; Battaglini, Pp
Pre-Emptive camera activation for Video-Surveillance HCI
2011-01-01 Martinel, Niki; Micheloni, Christian; Piciarelli, Claudio
Predicting temporal activation patterns via recurrent neural networks
2018-01-01 Manco, G.; Pirro, G.; Ritacco, E.
Preface
2009-01-01 Maria J., Blesa; Christian, Blum; DI GASPERO, Luca; Andrea, Roli; Michael, Sampels; Schaerf, Andrea
Preface
2024-01-01 Foresti, G. L.; Fusiello, A.; Hancock, E.
Preface
2024-01-01 Foresti, G. L.; Fusiello, A.; Hancock, E.
Preface
2020-01-01 Bartoli, A.; Fusiello, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A natural deduction approach to dynamic logic | 1-gen-1996 | Honsell, Furio; Miculan, Marino | |
| A Navigation and Examination Aid for 3D Virtual Buildings | 1-gen-2005 | Chittaro, Luca; Gatla, V. K.; Venkataraman, S. | |
| Negation as a resource: A novel view on answer set semantics | 1-gen-2013 | Costantini, Stefania; Formisano, Andrea | |
| Neural Networks Reduction via Lumping | 1-gen-2023 | Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S. | |
| New Geographies of Fuel Purchase During the COVID-19 Pandemic: Evidence from the Italian Northeastern Border Zone | 1-gen-2023 | Zaccomer, Gian Pietro; Bressan, Giorgia | |
| A New Tableau-based Satisfiability Checker for Linear Temporal Logic | 1-gen-2016 | Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark | |
| Optimal Wheeler Language Recognition | 1-gen-2023 | Becker, R.; Cenzato, D.; Kim, S. -H.; Kodric, B.; Policriti, A.; Prezza, N. | |
| Optimizing image registration for interactive applications | 1-gen-2016 | Gasparini, Riccardo; Alletto, Stefano; Serra, Giuseppe; Cucchiara, Rita | |
| Optimizing Maude Programs via Program Specialization | 1-gen-2023 | Alpuente, M.; Ballis, D.; Escobar, S.; Meseguer, J.; Sapina, J. | |
| The “Peer-to-Peer” Economy and Social Ontology: Legal Issues and Theoretical Perspectives | 1-gen-2015 | Costantini, Federico | |
| Perception of Virtual Agents as Communicators in Virtual vs. Augmented Reality by a Male Sample | 1-gen-2023 | Serafini, Marta; Chittaro, Luca | |
| Perspectives on Logic-based Approaches for Reasoning About Actions and Change | 1-gen-2011 | Dovier, Agostino; Formisano, A.; Pontelli, E. | |
| Photo-consistent planar patches from unstructured cloud of points | 1-gen-2010 | Toldo, R.; Fusiello, Andrea | |
| PolyMorph: A P300 Polymorphic Speller | 1-gen-2013 | Casagrande, A; Jarmolowska, J; Turconi, M; Fabris, F; Battaglini, Pp | |
| Pre-Emptive camera activation for Video-Surveillance HCI | 1-gen-2011 | Martinel, Niki; Micheloni, Christian; Piciarelli, Claudio | |
| Predicting temporal activation patterns via recurrent neural networks | 1-gen-2018 | Manco, G.; Pirro, G.; Ritacco, E. | |
| Preface | 1-gen-2009 | Maria J., Blesa; Christian, Blum; DI GASPERO, Luca; Andrea, Roli; Michael, Sampels; Schaerf, Andrea | |
| Preface | 1-gen-2024 | Foresti, G. L.; Fusiello, A.; Hancock, E. | |
| Preface | 1-gen-2024 | Foresti, G. L.; Fusiello, A.; Hancock, E. | |
| Preface | 1-gen-2020 | Bartoli, A.; Fusiello, A. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile